islocal($k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\neg_{2}$isl($k$)